Expression Problem

既存のコードを破壊・変更せずに拡張したい

ADT（代数データ型）だとムリ

拡張には、データ型と操作の両面がある

両面 同時の拡張を、可能にしたり・不可能にしたり できる

ref.

https://eli.thegreenplace.net/images/2016/expr-problem-clojure.png

The goal is to define a data abstraction that is extensible both in its representations and its behaviors

Tweets

①パッケージOを誰かが書く。

②それ以後パッケージOを書き換えてはいけない。

③別のパッケージPの中でパッケージOに型やop.を追加せよ。

スクショへの書き込みも書き換えました。